Property-preserving subnet reductions for designing manufacturing systems with shared resources

AbstractThis paper handles two problems in manufacturing system design: resource sharing and system abstraction. In a manufacturing system, resources such as robots, machines, etc. are shared by several processes. When the resources are switched from one process to another, they may need some modifications such as cleaning oil, adding equipments and so on. Previous designing methods assume that the resources have no intermediate modifications. Hence, they need to be extended to handle such kinds of resource-sharing problems. As for abstraction, modeling operations with single places in manufacturing system design is very popular. From the viewpoint of verification, the objective is to verify whether the reduced model has the same desirable properties as the original one. This paper presents three kinds of property-preserving subnet reduction methods. For each reduction method, conditions are presented for ensuring that the properties liveness, boundedness and reversibility are preserved. Applications of these reduction methods to handling the above resource sharing and system abstraction problems are illustrated with an example from the manufacturing system

Posterior eye shape measurement with retinal OCT compared to MRI

PURPOSE. Posterior eye shape assessment by magnetic resonance imaging (MRI) is used to study myopia. We tested the hypothesis that optical coherence tomography (OCT), as an alternative, could measure posterior eye shape similarly to MRI. METHODS. Macular spectral-domain OCT and brain MRI images previously acquired as part of the Singapore Epidemiology of Eye Diseases study were analyzed. The right eye in the MRI and OCT images was automatically segmented. Optical coherence tomography segmentations were corrected for optical and display distortions requiring biometry data. The segmentations were fitted to spheres and ellipsoids to obtain the posterior eye radius of curvature (Rc) and asphericity (Qxz). The differences in Rc and Qxz measured by MRI and OCT were tested using paired t-tests. Categorical assignments of prolateness or oblateness using Qxz were compared. RESULTS. Fifty-two subjects (67.8 ± 5.6 years old) with spherical equivalent refraction from +0.50 to -5.38 were included. The mean paired difference between MRI and original OCT posterior eye Rc was 24.03 ± 46.49 mm (P = 0.0005). For corrected OCT images, the difference in Rc decreased to -0.23 ± 2.47 mm (P = 0.51). The difference between MRI and OCT asphericity, Qxz, was -0.052 ± 0.343 (P = 0.28). However, categorical agreement was only moderate (j = 0.50). CONCLUSIONS. Distortion-corrected OCT measurements of Rc and Qxz were not statistically significantly different from MRI, although the moderate categorical agreement suggests that individual differences remained. This study provides evidence that with distortion correction, noninvasive office-based OCT could potentially be used instead of MRI for the study of posterior eye shape

Search for contact interactions, large extra dimensions and finite quark radius in ep collisions at HERA

A search for physics beyond the Standard Model has been performed with high-Q^2 neutral current deep inelastic scattering events recorded with the ZEUS detector at HERA. Two data sets, e^+ p \to e^+ X and e^- p \to e^- X, with respective integrated luminosities of 112 pb^-1 and 16 pb^-1, were analyzed. The data reach Q^2 values as high as 40000 GeV^2. No significant deviations from Standard Model predictions were observed. Limits were derived on the effective mass scale in eeqq contact interactions, the ratio of leptoquark mass to the Yukawa coupling for heavy leptoquark models and the mass scale parameter in models with large extra dimensions. The limit on the quark charge radius, in the classical form factor approximation, is 0.85 10^-16 cm.Comment: 28 pages, 4 figures, accepted for publication in Physics Letters

Search for a W' boson decaying to a bottom quark and a top quark in pp collisions at sqrt(s) = 7 TeV

Results are presented from a search for a W' boson using a dataset corresponding to 5.0 inverse femtobarns of integrated luminosity collected during 2011 by the CMS experiment at the LHC in pp collisions at sqrt(s)=7 TeV. The W' boson is modeled as a heavy W boson, but different scenarios for the couplings to fermions are considered, involving both left-handed and right-handed chiral projections of the fermions, as well as an arbitrary mixture of the two. The search is performed in the decay channel W' to t b, leading to a final state signature with a single lepton (e, mu), missing transverse energy, and jets, at least one of which is tagged as a b-jet. A W' boson that couples to fermions with the same coupling constant as the W, but to the right-handed rather than left-handed chiral projections, is excluded for masses below 1.85 TeV at the 95% confidence level. For the first time using LHC data, constraints on the W' gauge coupling for a set of left- and right-handed coupling combinations have been placed. These results represent a significant improvement over previously published limits.Comment: Submitted to Physics Letters B. Replaced with version publishe

Search for the standard model Higgs boson decaying into two photons in pp collisions at sqrt(s)=7 TeV

A search for a Higgs boson decaying into two photons is described. The analysis is performed using a dataset recorded by the CMS experiment at the LHC from pp collisions at a centre-of-mass energy of 7 TeV, which corresponds to an integrated luminosity of 4.8 inverse femtobarns. Limits are set on the cross section of the standard model Higgs boson decaying to two photons. The expected exclusion limit at 95% confidence level is between 1.4 and 2.4 times the standard model cross section in the mass range between 110 and 150 GeV. The analysis of the data excludes, at 95% confidence level, the standard model Higgs boson decaying into two photons in the mass range 128 to 132 GeV. The largest excess of events above the expected standard model background is observed for a Higgs boson mass hypothesis of 124 GeV with a local significance of 3.1 sigma. The global significance of observing an excess with a local significance greater than 3.1 sigma anywhere in the search range 110-150 GeV is estimated to be 1.8 sigma. More data are required to ascertain the origin of this excess.Comment: Submitted to Physics Letters

Measurement of the Lambda(b) cross section and the anti-Lambda(b) to Lambda(b) ratio with Lambda(b) to J/Psi Lambda decays in pp collisions at sqrt(s) = 7 TeV

The Lambda(b) differential production cross section and the cross section ratio anti-Lambda(b)/Lambda(b) are measured as functions of transverse momentum pt(Lambda(b)) and rapidity abs(y(Lambda(b))) in pp collisions at sqrt(s) = 7 TeV using data collected by the CMS experiment at the LHC. The measurements are based on Lambda(b) decays reconstructed in the exclusive final state J/Psi Lambda, with the subsequent decays J/Psi to an opposite-sign muon pair and Lambda to proton pion, using a data sample corresponding to an integrated luminosity of 1.9 inverse femtobarns. The product of the cross section times the branching ratio for Lambda(b) to J/Psi Lambda versus pt(Lambda(b)) falls faster than that of b mesons. The measured value of the cross section times the branching ratio for pt(Lambda(b)) > 10 GeV and abs(y(Lambda(b))) < 2.0 is 1.06 +/- 0.06 +/- 0.12 nb, and the integrated cross section ratio for anti-Lambda(b)/Lambda(b) is 1.02 +/- 0.07 +/- 0.09, where the uncertainties are statistical and systematic, respectively.Comment: Submitted to Physics Letters

Search for new physics in events with opposite-sign leptons, jets, and missing transverse energy in pp collisions at sqrt(s) = 7 TeV

A search is presented for physics beyond the standard model (BSM) in final states with a pair of opposite-sign isolated leptons accompanied by jets and missing transverse energy. The search uses LHC data recorded at a center-of-mass energy sqrt(s) = 7 TeV with the CMS detector, corresponding to an integrated luminosity of approximately 5 inverse femtobarns. Two complementary search strategies are employed. The first probes models with a specific dilepton production mechanism that leads to a characteristic kinematic edge in the dilepton mass distribution. The second strategy probes models of dilepton production with heavy, colored objects that decay to final states including invisible particles, leading to very large hadronic activity and missing transverse energy. No evidence for an event yield in excess of the standard model expectations is found. Upper limits on the BSM contributions to the signal regions are deduced from the results, which are used to exclude a region of the parameter space of the constrained minimal supersymmetric extension of the standard model. Additional information related to detector efficiencies and response is provided to allow testing specific models of BSM physics not considered in this paper.Comment: Replaced with published version. Added journal reference and DO

Measurement of isolated photon production in pp and PbPb collisions at sqrt(sNN) = 2.76 TeV

Isolated photon production is measured in proton-proton and lead-lead collisions at nucleon-nucleon centre-of-mass energies of 2.76 TeV in the pseudorapidity range |eta|<1.44 and transverse energies ET between 20 and 80 GeV with the CMS detector at the LHC. The measured ET spectra are found to be in good agreement with next-to-leading-order perturbative QCD predictions. The ratio of PbPb to pp isolated photon ET-differential yields, scaled by the number of incoherent nucleon-nucleon collisions, is consistent with unity for all PbPb reaction centralities.Comment: Submitted to Physics Letters

Constraining Running Non-Gaussianity

The primordial non-Gaussian parameter fNL has been shown to be scale-dependent in several models of inflation with a variable speed of sound. Starting from a simple ansatz for a scale-dependent amplitude of the primordial curvature bispectrum for two common phenomenological models of primordial non-Gaussianity, we perform a Fisher matrix analysis of the bispectra of the temperature and polarization of the Cosmic Microwave Background (CMB) radiation and derive the expected constraints on the parameter nNG that quantifies the running of fNL(k) for current and future CMB missions such as WMAP, Planck and CMBPol. We find that CMB information alone, in the event of a significant detection of the non-Gaussian component, corresponding to fNL = 50 for the local model and fNL = 100 for the equilateral model of non-Gaussianity, is able to determine nNG with a 1-sigma uncertainty of Delta nNG = 0.1 and Delta nNG = 0.3, respectively, for the Planck mission. In addition, we consider a Fisher matrix analysis of the galaxy power spectrum to determine the expected constraints on the running parameter nNG for the local model and of the galaxy bispectrum for the equilateral model from future photometric and spectroscopic surveys. We find that, in both cases, large-scale structure observations should achieve results comparable to or even better than those from the CMB, while showing some complementarity due to the different distribution of the non-Gaussian signal over the relevant range of scales. Finally, we compare our findings to the predictions on the amplitude and running of non-Gaussianity of DBI inflation, showing how the constraints on a scale-dependent fNL(k) translate into constraints on the parameter space of the theory.Comment: 37 pages, 14 figure